1. A Beginner's Guide to Scala, Object Orientation and Functional Programming

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

2. A beginner's guide to Scala, object orientation and functional programming /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)

رده :
QA76
.
7

3. A beginners guide to Python 3 programming /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Python (Computer program language),Python (Computer program language)

رده :
QA76
.
73
.
P98
H86
2019

4. A course in convexity /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)

رده :
QA639
.
5
.
B37
2002

5. A course in convexity /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)

رده :
QA639
.
5
.
B37
2002

6. A new kind of computational biology :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Cellular automata.,Computational biology.,Computation by Abstract Devices.,Computational Biology/Bioinformatics.,Microbial Genetics and Genomics.,Proteomics.,Cellular automata.,Computational biology.,Computers-- Computer Science.,Computers-- Machine Theory.,Life sciences: general issues.,Microbiology (non-medical),Proteins.,Science-- Life Sciences-- Biochemistry.,Science-- Life Sciences-- Biology-- Microbiology.,User interface design & usability.

رده :
QA267
.
5
.
C45

7. A tight, practical integration of relations and functions

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic programming,، Functional programming )Computer science(,، Relational databases

رده :
QA
76
.
L28
Vol
.
1712

8. ACM Turing Award lectures :

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :
QA76
.
24
.
A33
1987

9. AQA A level Computer Science.

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76

10. Abdominal imaging :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Abdomen-- Diseases-- Imaging, Congresses,Abdomen-- Imaging, Congresses

رده :
RC944

11. Actors in Scala

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Functional programming (Computer science),Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)

رده :
QA76
.
73
.
S28
H35
2011

12. Adapting proofs-as-programs

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :
E-BOOK

13. Adapting proofs-as-programs

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :
E-BOOK

14. Adapting proofs-as-programs

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)

رده :
QA
,
9
.
54
,.
P64
,
2005

15. Advanced functional programmin

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Functional programming (Computer science)--Congresses

رده :
QA
,
76
.
62
,.
A37
,
2009

16. Advanced functional programming

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Functional programming (Computer science)--Congresses

رده :
QA
,
76
.
62
,.
A396
,
2004

17. Advanced functional programming

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Functional programming (Computer science) ; Congresses. ;

18. Advanced functional programming

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Functional programming (Computer science)--Congresses

رده :
QA
,
76
.
62
,.
A39
,
1998

19. Advanced functional programming

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Functional programming (Computer science) ; Congresses. ; Funktionale Programmierung. ; swd. ;

20. Advanced functional programming :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Functional programming (Computer science) ; Congresses ;